Partha S Roop : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (90)
Les plus populaires
Liste
- Liste
- Tableau

1

Model-Driven Design Using IEC 61499 ||

Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.

Année:

2015

Langue:

english

Fichier:

PDF, 8.82 MB

english, 2015

2

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Stateful Web Services -- Auto Modeling and Composition

Ali, Syed Adeel, Roop, Partha S., Warren, Ian

Année:

2013

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2013

3

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Programming and Timing Analysis of Parallel Programs on Multicores

Yip, Eugene, Roop, Partha S., Biglari-Abhari, Morteza, Girault, Alain

Année:

2013

Langue:

english

Fichier:

PDF, 389 KB

english, 2013

4

A Predictable Framework for Safety-Critical Embedded Systems

Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus

Journal:

IEEE Transactions on Computers

Année:

2014

Langue:

english

Fichier:

PDF, 1.83 MB

english, 2014

5

Design of Distributed Heterogeneous Embedded Systems in DDFCharts

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Journal:

IEEE Transactions on Parallel and Distributed Systems

Année:

2011

Langue:

english

Fichier:

PDF, 2.31 MB

english, 2011

6

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Reengineering of IEC 61131 into IEC 61499 Function Blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Année:

2010

Langue:

english

Fichier:

PDF, 349 KB

english, 2010

7

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499

Yoong, Li Hsien, Shaw, Gareth Darcy, Roop, Partha S, Salcic, Zoran

Journal:

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)

Année:

2012

Langue:

english

Fichier:

PDF, 927 KB

english, 2012

8

Unified Functional Safety Assessment of Industrial Automation Systems

Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak

Journal:

IEEE Transactions on Industrial Informatics

Année:

2016

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2016

9

[IEEE 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Lyon, France (2016.9.21-2016.9.23)] 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) - The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Yip, Eugene, Girault, Alain, Roop, Partha S., Biglari-Abhari, Morteza

Année:

2016

Langue:

english

Fichier:

PDF, 202 KB

english, 2016

10

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - Securing implantable medical devices with runtime enforcement hardware

Pearce, Hammond, Kuo, Matthew M. Y., Roop, Partha S., Pinisetty, Srinivas

Année:

2019

Langue:

english

Fichier:

PDF, 370 KB

english, 2019

11

A New Safety Distance Calculation for Rear-End Collision Avoidance

Ro, Jin Woo, Roop, Partha S., Malik, Avinash

Journal:

IEEE Transactions on Intelligent Transportation Systems

Année:

2020

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2020

12

Adaptive Verification using Forced Simulation

Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 442 KB

english, 2005

13

Local Module Checking for CTL Specifications

Samik Basu, Partha S Roop, Roopak Sinha

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 365 KB

english, 2007

14

HiDRA—A reactive multiprocessor architecture for heterogeneous embedded systems

Zoran Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari

Journal:

Microprocessors and Microsystems

Année:

2006

Langue:

english

Fichier:

PDF, 190 KB

english, 2006

15

SystemJ: A GALS language for system level design

Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault

Journal:

Computer Languages, Systems & Structures

Année:

2010

Langue:

english

Fichier:

PDF, 872 KB

english, 2010

16

STARPro — A new multithreaded direct execution platform for Esterel

Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran Salcic

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 410 KB

english, 2009

17

A Model Checking Approach to Protocol Conversion

Roopak Sinha, Partha S. Roop, Samik Basu

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 328 KB

english, 2008

18

Precise specification matching for adaptive reuse in embedded systems

Hai-Feng Guo, Miao Liu, Partha S. Roop, C.R. Ramakrishnan, I.V. Ramakrishnan

Journal:

Journal of Applied Logic

Année:

2007

Langue:

english

Fichier:

PDF, 436 KB

english, 2007

19

REFLIX: a processor core with native support for control-dominated embedded applications

Zoran Salcic, Partha Roop, Morteza Biglari-Abhari, Abbas Bigdeli

Journal:

Microprocessors and Microsystems

Année:

2004

Langue:

english

Fichier:

PDF, 337 KB

english, 2004

20

An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems

Raj S Mitra, Partha S Roop, Anupam Basu

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1996

21

[IEEE 21st International Conference on VLSI Design (VLSID 2008) - Hyderabad, India (2008.01.4-2008.01.8)] 21st International Conference on VLSI Design (VLSID 2008) - A Module Checking Based Converter Synthesis Approach for SoCs

Sinha, Roopak, Roop, Partha S., Basu, Samik

Année:

2008

Langue:

english

Fichier:

PDF, 1.43 MB

english, 2008

22

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - McCharts and Multiclock FSMs for modeling large scale systems

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Année:

2007

Langue:

english

Fichier:

PDF, 261 KB

english, 2007

23

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

Kuo, Matthew, Roop, Partha, Andalam, Sidharta, Patel, Nitish

Année:

2013

Langue:

english

Fichier:

PDF, 731 KB

english, 2013

24

[IEEE 2011 14th Euromicro Conference on Digital System Design (DSD) - Oulu, Finland (2011.08.31-2011.09.2)] 2011 14th Euromicro Conference on Digital System Design - Compiling Esterel for Multi-core Execution

Yuan, Simon, Yoong, Li Hsien, Roop, Partha S.

Année:

2011

Langue:

english

Fichier:

PDF, 463 KB

english, 2011

25

[IEEE Factory Automation (ETFA 2009) - Palma de Mallorca, Spain (2009.09.22-2009.09.25)] 2009 IEEE Conference on Emerging Technologies & Factory Automation - A hierarchical and concurrent approach for IEC 61499 function blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Année:

2009

Langue:

english

Fichier:

PDF, 440 KB

english, 2009

26

[IEEE 2007 5th IEEE International Conference on Industrial Informatics - Vienna, Austria (2007.06.23-2007.06.27)] 2007 5th IEEE International Conference on Industrial Informatics - Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Li Hsien Yoong,, Roop, Partha, Vyatkin, Valeriy, Salcic, Zoran

Année:

2007

Langue:

english

Fichier:

PDF, 811 KB

english, 2007

27

[IEEE 2009 IEEE International Conference on Industrial Technology - (ICIT) - Churchill, Victoria, Australia (2009.02.10-2009.02.13)] 2009 IEEE International Conference on Industrial Technology - Efficient implementation of IEC 61499 function blocks

Li Hsien Yoong,, Roop, Partha S., Salcic, Zoran

Année:

2009

Langue:

english

Fichier:

PDF, 329 KB

english, 2009

28

[IEEE 2011 IEEE 6th International Workshop on Electronic Design, Test and Application (DELTA) - Queenstown, New Zealand (2011.01.17-2011.01.19)] 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application - Environment Modelling for Tighter Timing Analysis of Synchronous Programs

Andalam, Sidharta, Sinha, Roopak, Roop, Partha S.

Année:

2011

Langue:

english

Fichier:

PDF, 491 KB

english, 2011

29

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Specification Enforcing Refinement for Convertibility Verification

Roop, Partha, Girault, Alain, Sinha, Roopak, Goessler, Gregor

Année:

2009

Langue:

english

Fichier:

PDF, 298 KB

english, 2009

30

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Predictable multithreading of embedded applications using PRET-C

Andalam, Sidharta, Roop, Partha, Girault, Alain

Année:

2010

Langue:

english

Fichier:

PDF, 494 KB

english, 2010

31

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Deterministic, predictable and light-weight multithreading using PRET-C

Andalam, Sidharta, Roop, Partha S, Girault, Alain

Année:

2010

Langue:

english

Fichier:

PDF, 183 KB

english, 2010

32

[IEEE 2011 9th IEEE International Conference on Industrial Informatics (INDIN) - Lisbon, Portugal (2011.07.26-2011.07.29)] 2011 9th IEEE International Conference on Industrial Informatics - Observer based verification of IEC 61499 function blocks

Bhatti, Zeeshan E., Sinha, Roopak, Roop, Partha S.

Année:

2011

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2011

33

[IEEE 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - ILPc: A novel approach for scalable timing analysis of synchronous programs

Wang, Jia Jie, Roop, Partha S., Andalam, Sidharta

Année:

2013

Langue:

english

Fichier:

PDF, 2.95 MB

english, 2013

34

[IEEE 2008 13th Asia-Pacific Computer Systems Architecture Conference (ACSAC) - Hsinchu (2008.08.4-2008.08.6)] 2008 13th Asia-Pacific Computer Systems Architecture Conference - Tandem virtual machine — An efficient execution platform for GALS language SystemJ

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Année:

2008

Langue:

english

Fichier:

PDF, 602 KB

english, 2008

35

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Determining the worst-case reaction time of IEC 61499 function blocks

Kuo, Matthew M Y, Yoong, Li Hsien, Andalam, Sidharta, Roop, Partha S

Année:

2010

Langue:

english

Fichier:

PDF, 880 KB

english, 2010

36

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - A model-driven approach with synchronous semantics for developing hard real-time WSNs

Ro, Jin Woo, Bhatti, Zeeshan E., Roop, Partha S.

Année:

2014

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2014

37

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - REMIC

Salcic, Zoran, Hui, Dong, Roop, Partha, Biglari-Abhari, Morteza

Année:

2005

Langue:

english

Fichier:

PDF, 370 KB

english, 2005

38

Forced simulation: A technique for automating component reuse in embedded systems

Roop, Partha S., Sowmya, A., Ramesh, S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Année:

2001

Langue:

english

Fichier:

PDF, 277 KB

english, 2001

39

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Precise timing analysis for direct-mapped caches

Andalam, Sidharta, Girault, Alain, Sinha, Roopak, Roop, Partha, Reineke, Jan

Année:

2013

Langue:

english

Fichier:

PDF, 634 KB

english, 2013

40

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Année:

2014

Langue:

english

Fichier:

PDF, 5.33 MB

english, 2014

41

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Hanxleden, Reinhard Von, Mendler, Michael, Aguado, Joaquín, Duderstadt, Björn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'brien, Owen, Roop, Partha

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2014

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2014

42

SystemJ compilation using the tandem virtual machine approach

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Année:

2009

Langue:

english

Fichier:

PDF, 658 KB

english, 2009

43

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Efficient WCRT analysis of synchronous programs using reachability

Kuo, Matthew, Sinha, Roopak, Roop, Partha

Année:

2011

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2011

44

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Towards direct execution of esterel programs on reactive processors

Roop, Partha S., Salcic, Zoran, Dayaratne, M.W. Sajeewa

Année:

2004

Langue:

english

Fichier:

PDF, 263 KB

english, 2004

45

Implementing constrained cyber-physical systems with IEC 61499

Yoong, Li Hsien, Roop, Partha S., Salcic, Zoran

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2012

Langue:

english

Fichier:

PDF, 694 KB

english, 2012

46

[ACM Press the 2001 conference - Yokohama, Japan (2001..-..)] Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01 - A formal approach to component based development of synchronous programs

Roop, Partha S., Sowmya, A., Ramesh, S.

Année:

2001

Langue:

english

Fichier:

PDF, 206 KB

english, 2001

47

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Relaxing the synchronous approach for mixed-criticality systems

Yip, Eugene, Kuo, Matthew M Y, Roop, Partha S, Broman, David

Année:

2014

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2014

48

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks

Hikmet, Mahmood, Roop, Partha, Ranjitkar, Prakash

Année:

2015

Langue:

english

Fichier:

PDF, 320 KB

english, 2015

49

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks

Sinha, Roopak, Roop, Partha, Shaw, Gareth, Salcic, Zoran, Kuo, Matthew

Journal:

IEEE Transactions on Industrial Informatics

Année:

2015

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2015

50

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Synthesizing Multirate Programs from IEC 61499

Yoong, Li Hsien, Roop, Partha S.

Année:

2015

Langue:

english

Fichier:

PDF, 329 KB

english, 2015